Освоение Rust требует перехода от концептуального логического мышления к лексической точности. Этот процесс начинается с Приложений—формального отображения синтаксиса языка. Мы рассматриваем литералы, комментарии и символы как атомы кода на языке Rust, отличные от логики, которую они создают.

1. Сводная таблица литералов

Rust различает типы на уровне компилятора с помощью специализированных литералов. Хотя "..." обрабатывает стандартные строки, Сырые строковые литералы (r"...") предотвращают «бэкслэшит» (внешнее влияние обратного слэша), игнорируя последовательности экранирования. Для низкоуровневых данных Байтовые литералы (b"...") и литералы байтов в кодировке ASCII обеспечивают прямое u8 сопоставление.

2. Семантика «пустого» пространства

Тип Единичный тип (()) представляет кортеж из нулевых элементов, используемый, когда не возвращается никакого значения. В противоположность этому, Пустой нижний тип (!) обозначает код, который никогда не возвращает значение (функции, которые расходятся). Критически важным является Завершитель оператора (;) — это ключевая граница, которая преобразует выражение, производящее значение, в оператор.

3. Документирование как архитектура

Комментарии — это больше, чем просто заметки; они являются метаданными. Внешние комментарии документации (///) документируют элемент, следующий за ними, в то время как внутренние комментарии документации (//!) документируют элемент, внутри которого они находятся (например, крейт или корень модуля).